/*runtime/misc.c*/
